Ground first: against the proof-theoretic definition of ground
نویسندگان
چکیده
Abstract This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range recent publications and argues that her proposed fails. The then outlines an alternative approach where logical consequence relations operations are defined terms ground.
منابع مشابه
Proving Ground Completeness of Resolution by Proof Planning Proving Ground Completeness of Resolution by Proof Planning
A lot of the human ability to prove hard mathematical theorems can be ascribed to a domain-speciic problem solving know-how. Such knowledge is intrin-sically incomplete. In order to solve related problems, human mathematicians can go beyond their acquired knowledge by adapting their know-how. These two aspects, having rich experience and extending it by need, can be simulated in a proof plannin...
متن کاملSeki Report Proving Ground Completeness of Resolution by Proof Planning
A lot of the human ability to prove hard mathematical theorems can be ascribed to a problem-speciic problem solving know-how. Such knowledge is intrinsically incomplete. In order to prove related problems human mathematicians, however, can go beyond the acquired knowledge by adapting their know-how to new related problems. These two aspects, having rich experience and extending it by need, can ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2023
ISSN: ['0039-7857', '1573-0964']
DOI: https://doi.org/10.1007/s11229-022-04028-8